/* exec.c
 *      Test program for having arguments passed into the system
 */
#include "syscall.h"

int main(int argc, char **argv) {

    Write(argv[1], 2, 1);
    if(argv[0][0] != 'e') {
        Exit(1);
    }
    if(argv[1][0] != '1') {
        Exit(2);
    }

    Exit(0);
}
